--- a/incdefs.sh
+++ b/incdefs.sh
@@ -62,7 +62,7 @@ user_flags()
 kernel_flags()
 {
 	prefix=""
-	tstamp=/usr/include/linux/net_tstamp.h
+	tstamp=/include/uapi/linux/net_tstamp.h
 	ptp_clock=/usr/include/linux/ptp_clock.h
 
 	if [ "x$KBUILD_OUTPUT" != "x" ]; then
